๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”— Concatenative Programming

Factor, Joy, Stack-based Languages, Point-free Style

Implementing Forth in Go and C
eli.thegreenplace.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Dependently Typed
Generative Interfaces for Language Models
arxiv.orgยท5h
โš™๏ธParser Generators
Song recommendations with F# free monads
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
The Lobster Programming Language
strlen.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Teaching programming languages
kmjn.orgยท1d
๐Ÿ’ปProgramming languages
Generating C functions and prototypes using macros โ€“ part 2
subethasoftware.comยท1d
๐Ÿฆ€Rust Macros
Guessing Game: Haskell Style
entropicthoughts.comยท1d
๐Ÿ‘‘Dependent Haskell
Optimize Go Performance: Value vs. Pointer Types for Fewer Memory Allocations
dev.toยท8hยท
Discuss: DEV
๐Ÿง Memory Allocators
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.comยท17h
โฌ†๏ธLambda Lifting
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.comยท14hยท
Discuss: Hacker News
๐ŸงฎAlgebraic Datatypes
Claude Code's 19 cent Parser
blogger.comยท1d
๐Ÿ”งBinary Parsers
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.comยท19hยท
Discuss: Hacker News
โš”๏ธLean Tactics
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.comยท1d
๐Ÿ—๏ธCompiler Archaeology
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.comยท20h
โœ…Format Verification
Understanding Tool-Integrated Reasoning
arxiv.orgยท5h
๐Ÿ”—Constraint Handling
shared_ptr<T>: the (not always) atomic reference counted smart pointer (2019)
snf.github.ioยท7hยท
Discuss: Lobsters, Hacker News
๐Ÿฆ€Rust Borrowing
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.netยท3d
๐Ÿ”—Functional Compilers
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.comยท15hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Anonymous structavaganza in zig
lirk.topยท1dยท
Discuss: Hacker News, r/Zig, r/programming
๐Ÿ”งBinary Parsers
Visual AI flow manager for Genkit โ€“ Looking for early testers
flowshapr.aiยท18hยท
Discuss: Hacker News
โšกProof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap